formal deduction
[网络] 形式演绎期；形式的演绎；形式推导
热门查询
- sim abbr. 用户身份识别卡（subscriber identity module）；工业管理学院（School of Industrial Management）；科学仪表舱（Scientific Instrument Module）；模拟计算机索引法（Simulated Machine Indexing） n. (Sim)人名；(柬)辛；(俄、罗、英)西姆(教名Simeon、Simon的昵称)
- scrying vi. 用水晶球占卜
- Hilda n. 希尔达（女子名）
- darling n. 心爱的人；亲爱的 n. (Darling)人名；(英)达林
- internationalization n. 国际化
- inactivated 灭活的
- positivism n. 实证主义；实证论；积极性；武断
- empiricism n. 经验主义；经验论
- peevishly adv. 急躁地，暴躁地
- tardily adv. 缓慢
- debit n. 借方 vt. 记入借方，登入借方
- cyberpunk n. 网络朋客
- certified v. 证明，证实；颁发合格证书（certify的过去分词形式） adj. 被证明的；有保证的；具有证明文件的
- Gildas [人名] 吉尔达斯
- hatchard [人名] [英格兰人姓氏] 哈查德 Achard的变体
- elicit vt. 抽出，引出；引起
- unenlightened adj. 落后的；无知的；未受启迪的
- bates 贝茨
- suzuki n. 铃木
- NCO abbr. 军士（Non-Commissioned Officer）
考试词汇表
- latent summer-heat
- latent tonsillitis
- latent trait model
- latent tumor cells
- later growth stage
- lateral A V bypass
- lateral A-V bypass
- lateral aberration
- lateral adaptation
- lateral adjustment
- lateral anastomose
- lateral area ratio
- lateral attraction
- lateral cartilages
- lateral chest film
- lateral chromatism
- lateral cleft nose
- lateral cleft onse
- lateral clinometer
- lateral commissure
